Expressing additives using multiplicatives and subexponentials
نویسندگان
چکیده
منابع مشابه
Expressing Additives Using Multiplicatives and Subexponentials
Subexponential logic is a variant of linear logic with a family of exponential connectives—called subexponentials—that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening and contraction. We show that a classical propositional multiplicative subexponential logic (MSEL) with one unrestricted and two linear subexponentials can en...
متن کاملOn the meaning of logical rules II : multiplicatives and additives
El método inicial que imagino era relativamente sencillo. Conocer bien el español, recuperar la fe católica, guerrear contra los moros o contro el turco, olvidar la historia de Europa entre los años de 1602 y de 1918, ser Miguel de Cervantes. Pierre Ménard estudió ese procedimiento (sé que logró un manejo bastante fiel del español del siglo diecisiete), pero lo descartó por fácil. [. . . ] Mi c...
متن کاملInteraction Graphs: Multiplicatives
We introduce a graph-theoretical representation of proofs of multiplicative linear logic which yields both a denotational semantics and a notion of truth. For this, we use a locative approach (in the sense of ludics [Gir01]) related to game semantics [HO00, AJM94] and the Danos-Regnier interpretation of GoI operators as paths in proof nets [ADLR94, DR95]. We show how we can retrieve from this l...
متن کاملSemantically Inactive Multiplicatives and Words as Types
The literature on categorial type logic includes proposals for semantically inactive additives, quantifiers, and modalities Morrill (1994[17]), Hepple (1990[2]), Moortgat (1997[9]), but to our knowledge there has been no proposal for semantically inactive multiplicatives. In this paper we formulate such a proposal (thus filling a gap in the typology of categorial connectives) in the context of ...
متن کاملImproving the performance of brick blocks for using on sidewalks and rural thoroughfares using additives
Iran is one of the oldest countries in the world in using brick in architecture and construction; most of the architectural structures and rural houses in this country are made of clay; Which has attracted the attention of many tourists; Today, with the advancement of science and technology and the abundance of brick materials and the importance of tourism in Iran, the use of brick block, a met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2016
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129516000293